//package foo;
//
//public class Foo1 {
//
//    //@CheckGetter
//    int v;
//}
